name := "Praktikum Automatisches Beweisen"

organization := "Symbolic Computation Group, Uni Tuebingen"

scalaVersion := "2.9.1"

libraryDependencies ++= Seq(
  "org.specs2" %% "specs2" % "1.7",
  "org.specs2" %% "specs2-scalaz-core" % "6.0.1" % "test",
  "net.java.dev.jna" % "jna" % "3.3.0"
)

resolvers += "snapshots" at "http://scala-tools.org/repo-snapshots"

